منابع مشابه
Semiring of Sets: Examples
From now on X denotes a set and S denotes a family of subsets of X. Now we state the propositions: (1) Let us consider sets X1, X2, a family S1 of subsets of X1, and a family S2 of subsets of X2. Then {a×b, where a is an element of S1, b is an element of S2 : a ∈ S1 and b ∈ S2} = {s, where s is a subset of X1 ×X2 : there exist sets a, b such that a ∈ S1 and b ∈ S2 and s = a × b}. Proof: {a × b,...
متن کاملSemiring of Sets
Schmets [22] has developed a measure theory from a generalized notion of a semiring of sets. Goguadze [15] has introduced another generalized notion of semiring of sets and proved that all known properties that semiring have according to the old definitions are preserved. We show that this two notions are almost equivalent. We note that Patriota [20] has defined this quasi-semiring. We propose ...
متن کاملFinite Product of Semiring of Sets
We formalize that the image of a semiring of sets [17] by an injective function is a semiring of sets. We offer a non-trivial example of a semiring of sets in a topological space [21]. Finally, we show that the finite product of a semiring of sets is also a semiring of sets [21] and that the finite product of a classical semiring of sets [8] is a classical semiring of sets. In this case, we use...
متن کاملExamples of non-shy sets
Christensen has defined a generalization of the property of being of Haar measure zero to subsets of (abelian) Polish groups which need not be locally compact; a recent paper of Hunt, Sauer, and Yorke defines the same property for Borel subsets of linear spaces, and gives a number of examples and applications. The latter authors use the term “shyness” for this property, and “prevalence” for the...
متن کاملRecognizable Sets with Multiplicities in the Tropical Semiring
The last ten years saw the emergence of some results about recognizable subsets of a free monoid with multiplicities in the Min-Plus semiring. An interesting aspect of this theoretical body is that its discovery was motivated throughout by applications such as the nite power property, Eggan's classical star height problem and the measure of the nondeterministic complexity of nite automata. We r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2014
ISSN: 1898-9934
DOI: 10.2478/forma-2014-0009